Avoid some unnecessary TLB flushes. This will probably make no real
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 15 Jul 2005 09:24:29 +0000 (09:24 +0000)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 15 Jul 2005 09:24:29 +0000 (09:24 +0000)
commit6a368fe8aac6800c0cf4f7bbd641d1583f34eece
tree6d98b0f2fd52170710f159970322c7d280740ae5
parent6b2d3de1ce2ebb9e774804b5db5391702c02292c
Avoid some unnecessary TLB flushes.  This will probably make no real
difference on any sensible guest operating system.

Signed-off-by: Steven Smith, sos22@cl.cam.ac.uk.
xen/arch/x86/mm.c